Введите слово или словосочетание на любом языке 👆
Язык:
Перевод и анализ слов искусственным интеллектом ChatGPT
На этой странице Вы можете получить подробный анализ слова или словосочетания, произведенный с помощью лучшей на сегодняшний день технологии искусственного интеллекта:
- как употребляется слово
- частота употребления
- используется оно чаще в устной или письменной речи
- варианты перевода слова
- примеры употребления (несколько фраз с переводом)
- этимология
Что (кто) такое Черче - определение
Черче
бальнео-грязевой курорт во Львовской области УССР. Расположен в 80 км от Львова и в 7 км от ж.-д. станции Рогатин. Лето умеренно тёплое (средняя температура июля 18°С), зима умеренно мягкая (средняя температура января -5°С); осадков 730 мм в год. Лечебные средства: сульфидные сульфатно-гидрокарбонатно-кальциево-магниевые и сульфатные кальциевые воды, используемые для ванн; торфяная грязь. Лечение болезней органов движения и опоры, гинекологических, периферической нервной системы. Санаторий, водо-грязелечебница.
Чёрч
ФАМИЛИЯ - CHURCH
Черч
(Church)
Алонзо (р 14.6.1903, Вашингтон), американский логик, математик. Профессор Принстонского университета (1947-1967). С 1967 профессор математики и философии Калифорнийского университета (Лос-Анджелес). Работы Ч. относятся к различным областям логики. Он развил мысль об отделении понятия функции от понятия множества. В 1936 выдвинул основную гипотезу теории вычислимых функций (т. н. тезис Чёрча): каждая эффективно вычислимая функция является общекурсивной (см. Рекурсивные функции). В 1935 Ч. привёл пример неразрешимой массовой проблемы, а в 1966 доказал, что Разрешения проблема для исчисления предикатов неразрешима. Эти результаты оказали большое влияние на развитие математической логики. Ч. внёс существенный вклад в развитие комбинаторной логики: ему принадлежат исследования в области логической семантики (См. Логическая семантика) и модальной логики.
Соч. в рус. пер.: Введение в математическую логику, т. 1, М., 1960.
Черча
Черча — река в России, протекает по Плесецкому району Архангельской области, недалеко от его границы с Пудожским районом Карелии.
Примеры употребления для Черче
1. "Спартак" в какого-то царя горы играет: Федотов был запасным под Старковым - стал главным, Черче - сов замещал Федотова - стал главным...
